php::one function to do array_unique(array_merge($a,$b));